Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
41	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm VIEWPOINT Stepping aside and moving on: Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:37 Interdisciplinary fields Philosophical logic Mathematical logic Modal logic Knowledge Service dominant logic Logic Science
42	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic
43	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm EJM 45,7/8 Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:45:40 Service dominant logic Science Philosophical logic Knowledge Co-creation Service science management and engineering Modal logic Mathematical logic Logic Interdisciplinary fields Non-classical logic
44	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
45	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
46	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm SPECIAL SECTION ON EXTENDING SERVICE-DOMINANT LOGIC Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:36 Marketing Co-creation Interdisciplinary fields Macromarketing Market Mathematical logic Resource-based view Logic programming Logic Business Service dominant logic Management
47	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
48	RUSSIAN JOURNAL OF EARTH SCIENCES, VOL. 10, ES1001, doi:2007ES000278, 2008 Recognition of anomalies from time series by fuzzy logic methods A. D. Gvishiani,1 S. M. Agayan,1 Sh. R. Bogoutdinov,1 E. M. Graeva,1 J. Add to Reading List Source URL: elpub.wdcb.ru Language: English - Date: 2008-01-27 15:52:44 Artificial intelligence Logic in computer science Non-classical logic Anomaly detection Gvishiani Fuzzy mathematics Fuzzy set Logic Mathematical logic Fuzzy logic
49	SIAM Journal in Scientific Computing, Volume[removed]), pages 119–138. A MODIFIED PRONY ALGORITHM FOR EXPONENTIAL FUNCTION FITTING M. R. OSBORNE∗ AND G. K. SMYTH† Abstract. A modification of the classical technique Add to Reading List Source URL: www.statsci.org Language: English - Date: 2012-06-21 23:57:21 Deduction Entailment Logical consequence Metalogic Philosophical logic Exponential map Least squares Recurrence relation Binomial coefficient Mathematics Logic Mathematical analysis
50	Journal of Instruction-Level Parallelism Vol. 3 Submitted[removed]; Published 2002 The Design of DEETM: a Framework for Dynamic Energy Efficiency and Temperature Management Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-04-12 01:25:15 Theoretical computer science Computing Parallel computing Heat transfer Mathematical optimization Multi-core processor Mathematics Applied mathematics Operations research Algorithm Mathematical logic

UPDATE